441. Semantic technology :
پدیدآورنده : Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
رده :
QA76
.
5913
442. Simulation-Based Experiential Learning
پدیدآورنده : edited by Douglas M. Towne, Ton Jong, Hans Spada.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.
رده :
LB1029
.
S53
E358
1993
443. Simulation, image processing, and ultrasound systems for assisted diagnosis and navigation :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Stephen Aylward, João Manuel R.S. Tavares, Yiming Xiao, Amber Simpson et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Computer Hardware.,Health Informatics.,Image Processing and Computer Vision.,Artificial intelligence.,Computer hardware.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Medical-- General.,Network hardware.
رده :
RC78
.
7
.
D53
444. Skill, technology and enlightenment :
پدیدآورنده : Bo Göranzon (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Culture -- Related to -- Technology,Diderot, Denis, -- 1713-1784,Diderot, Denis, -- 1713-1784.
445. Smart intelligent computing and applications :
پدیدآورنده : Suresh Chandra Satapathy, Vikrant Bhateja, Swagatam Das, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial Intelligence (incl. Robotics).,Big Data/Analytics.,Communications Engineering, Networks.,Artificial intelligence.,Artificial intelligence.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Communications engineering / telecommunications.,Computers-- Intelligence (AI) & Semantics.,Technology & Engineering-- Telecommunications.
رده :
Q334
446. Soft Computing and its Applications in Business and Economics
پدیدآورنده : by Rafik Aziz Aliev, Bijan Fazlollahi, Rashad Rafik Aliev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.,Management information systems.
447. Soft Computing in Software Engineering
پدیدآورنده : edited by Ernesto Damiani, Mauro Madravio, Lakhmi C. Jain.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Engineering mathematics.,Engineering.,Mathematics.,Software engineering.
448. Software Prototyping in Data and Knowledge Engineering
پدیدآورنده : by Giovanni Guida, Gianfranco Lamperti, Marina Zanella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Software engineering.
449. Stochastic local search :
پدیدآورنده : Holger H. Hoos, Thomas Stützle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Combinatorial analysis.,Stochastic programming.,Algorithmes.,Analyse combinatoire.,Programmation stochastique.,Algorithms.,Combinatória.,Combinatorial analysis.,Heurística.,Inteligência artificial.,MATHEMATICS-- Optimization.,Otimização combinatória.,Stochastic programming.
رده :
T57
.
79
.
H66
2005eb
450. Studies on speech production :
پدیدآورنده : Qiang Fang, Jianwu Dang, Pascal Perrier, Jianguo Wei, Longbiao Wang, Nan Yan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Speech processing systems, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Natural Language Processing (NLP).,Artificial intelligence.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Computers-- Online Services-- General.,Image processing.,Mathematical theory of computation.,Natural language & machine translation.,Speech processing systems.
رده :
TK7882
.
S65
451. Supervised and Unsupervised Ensemble Methods and their Applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Artificial intelligence. ; Engineering mathematics. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; Artificial Intelligence (incl. Robotics). ;
452. Supporting learning flow through integrative technologies /
پدیدآورنده : edited by Tsukasa Hirashima, Ulrich Hoppe and Shelley Shwu-Ching Young.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence-- Educational applications, Congresses.,Artificial intelligence-- Educational applications.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.
رده :
LB1028
.
43
.
I58
2007eb
453. Symbolic and numerical computation for artificial intelligence
پدیدآورنده : edited by Bruce Randall Donald, Deepak Kapur, Joseph L. Mundy
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Artificial intelligence - Congresses
رده :
Q
335
.
S89
1990
454. Symbolic and numerical computation for artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Artificial intelligence
رده :
Q
335
.
S89
1992
455. Synergetics of Cognition :
پدیدآورنده : edited by Hermann Haken, Michael Stadler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Neurosciences.,Physics.
رده :
BF311
.
E358
1990
456. The Amazing Journey of Reason
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : output equipment (Computers). ; Computer communication systems. ; Operating systems (Computers). ; Algorithms. ; Mathematical logic. ; Math Applications in Computer Science. ; -Mathematics. ; Input-Computer science
457. The Language of Mathematics
پدیدآورنده : / Mohan Ganesalingam
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
458. The Logic programming paradigm :
پدیدآورنده : K.R. Apt [and others] eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming.,Logisch programmeren.,Programmation logique.
رده :
QA76
.
63
K737
1999
459. The Ordered Weighted Averaging Operators
پدیدآورنده : edited by Ronald R. Yager, Janusz Kacprzyk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
